|
|
Využití funkcionálních jazyků pro hardwarovou akceleraci
Hodaňová, Andrea ; Kadlček, Filip (oponent) ; Fučík, Otto (vedoucí práce)
Cílem této práce je prozkoumat možnosti využití funkcionálního paradigmatu pro hardwarovou akceleraci, konkrétně pro datově paralelní úlohy. Úroveň abstrakce tradičních jazyků pro popis hardwaru, jako VHDL a Verilog, přestáví stačit. Pro popis na algoritmické či behaviorální úrovni se rozmáhají jazyky původně navržené pro vývoj softwaru a modelování, jako C/C++, SystemC nebo MATLAB. Funkcionální jazyky se s těmi imperativními nemůžou měřit v rozšířenosti a oblíbenosti mezi programátory, přesto je předčí v mnoha vlastnostech, např. ve verifikovatelnosti, schopnosti zachytit inherentní paralelismus a v kompaktnosti kódu. Pro akceleraci datově paralelních výpočtů se často používají jednotky FPGA, grafické karty (GPU) a vícejádrové procesory. Praktická část této práce rozšiřuje existující knihovnu Accelerate pro počítání na grafických kartách o výstup do VHDL. Accelerate je možno chápat jako doménově specifický jazyk vestavěný do Haskellu s backendem pro prostředí NVIDIA CUDA. Rozšíření pro vysokoúrovňovou syntézu obvodů ve VHDL představené v této práci používá stejný jazyk a frontend.
|
|
|
Pokročilé programové konstrukce a programovací techniky jazyka Swift
Čislinský, Jan ; Pecinovský, Rudolf (vedoucí práce) ; Oraný, Vladimír (oponent)
Tato práce se zaměřuje na představení pokročilých programových konstrukcí a programovacích technik jazyka Swift. Také rozebírám programová paradigmata, která koncepce jazyka Swift podporuje (objektově-orientované a funkcionální). Popisuji konkrétní koncepty jednotlivých paradigmat s následným zhodnocením, jak Swift dané paradigma podporuje. Podrobně vysvětluji pokročilé konstrukce následujících oblastí: práce s proměnnými, použití typu s možnou prázdnou hodnotou, výčtových typů, funkcí a uzávěrů. Dále vytváření vlastních operátorů a subskriptů. Představuji jak se pracuje s protokoly a generickými typy. Také popisuji jak na paralelní vykonávání programů a jak ošetřit chybové stavy pomocí vyhazování chyb. Zevrubně vysvětluji hodnotové typy a rozdíly oproti referenčním typům. Dále zanořování typů a nechybí ani popis všech funkcí vyššího řádu v jazyce Swift. Nakonec představuji práci s rozšířeními, konkrétně rozšíření o vypočítanou proměnnou, inicializační metodu, funkci, subskript, zanořený typ a také rozšiřování protokolů a generických typů. Z pohledu pokročilých programovacích technik probírám následující: řetězení a kompozice funkcí, ukládání struktur, optimalizace výkonu hodnotových typů, reflexe v jazyce Swift. Dále popisuji způsob fungování modulů a jmenných prostorů a na závěr protokolově-orientované programování.
|
|
|
Využití funkcionálních jazyků pro hardwarovou akceleraci
Hodaňová, Andrea ; Kadlček, Filip (oponent) ; Fučík, Otto (vedoucí práce)
Cílem této práce je prozkoumat možnosti využití funkcionálního paradigmatu pro hardwarovou akceleraci, konkrétně pro datově paralelní úlohy. Úroveň abstrakce tradičních jazyků pro popis hardwaru, jako VHDL a Verilog, přestáví stačit. Pro popis na algoritmické či behaviorální úrovni se rozmáhají jazyky původně navržené pro vývoj softwaru a modelování, jako C/C++, SystemC nebo MATLAB. Funkcionální jazyky se s těmi imperativními nemůžou měřit v rozšířenosti a oblíbenosti mezi programátory, přesto je předčí v mnoha vlastnostech, např. ve verifikovatelnosti, schopnosti zachytit inherentní paralelismus a v kompaktnosti kódu. Pro akceleraci datově paralelních výpočtů se často používají jednotky FPGA, grafické karty (GPU) a vícejádrové procesory. Praktická část této práce rozšiřuje existující knihovnu Accelerate pro počítání na grafických kartách o výstup do VHDL. Accelerate je možno chápat jako doménově specifický jazyk vestavěný do Haskellu s backendem pro prostředí NVIDIA CUDA. Rozšíření pro vysokoúrovňovou syntézu obvodů ve VHDL představené v této práci používá stejný jazyk a frontend.
|
|
|
Analýza novinek v jazyku Java 8 usnadňujících změny paradigmatu
Bobuskyy, Igor ; Pecinovský, Rudolf (vedoucí práce) ; Pavlíčková, Jarmila (oponent)
Společnost Oracle představila osmou verzi programovacího jazyka Javy, která byla oboha-cena o nové knihovny a jazykové konstrukce. Jedná se o jednu z nejvýznamnějších rozšíření jazyka od jeho uvedení. Hlavní změnou je především příklon k funkcionálnímu paradigmatu, neboť byla do jazyka zanesena podpora funkcionálních konceptů a prvků, které mají za účel zefektivnit používání Javy při řešení současných technologicky a výpo-četně náročných problémů. Předmětem bakalářské práce je analýza změn v osmé verzi Javy, které souvisejí s pří-klonem k funkcionálnímu paradigmatu. Cílem práce je tedy prozkoumat důvody přiklonění se k funkcionálnímu programování, analyzovat nově zanesené možnosti jazyka pro podporu tohoto posunu a porovnat řešení některých úloh a problémů prostřednictvím kódu na-psaného konstrukcemi, které jsou typické pro Javu 7 a pro Javu 8.
|
host ::
RSS.